1.
2.
Higher Order Logic Theorem Proving and Its Applications 6th International Workshop, Hug '93,...
by Joyce, Jeffrey J., Seger, C...
ISBN: 9780387578262
List Price: $98.00
OUT OF STOCK
See Availability on Amazon3.
Asynchronous Circuits (Monographs in Computer Science)
by Janusz A. Brzozowski, Carl-...
ISBN: 9781461286981
List Price: $209.00
4.
Higher Order Logic Theorem Proving and Its Applications
by Joyce, Jeffrey J., Seger, C...
ISBN: 9783662208953
List Price: $24.99